C Does Standard Mandates That Stream-Constructors Dont Access Stream Buffer?